#pragma once

#include "DLTerm.hpp"

#include "DLClassExpression.hpp"
#include "DLClass.hpp"

#include "DLObjectNegation.hpp"
#include "DLObjectUnion.hpp"
#include "DLObjectIntersection.hpp"
#include "DLObjectSomeRestriction.hpp"
#include "DLObjectAllRestriction.hpp"

#include "DLLiteral.hpp"
#include "DLDataNegation.hpp"
#include "DLDataUnion.hpp"
#include "DLDataIntersection.hpp"
#include "DLDataSomeRestriction.hpp"
#include "DLDataAllRestriction.hpp"

#include "DLThing.hpp"
#include "DLNothing.hpp"

#include "DLTermFactory.hpp"
